1. Generating software from specifications
پدیدآورنده : Waite, W. M. )William McCastline(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Development,، Computer software-- Specifications
رده :
QA
76
.
76
.
D47
.
W335
2006
2. Guide to software engineering standards and specifications
پدیدآورنده : Magee, Stan
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Software engineering-standards,، Computer software specifications
3. Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation )DFG( : final report
پدیدآورنده : Hartmut Ehrig ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Development -- Congresses ، Computer software -- Germany,Specifications -- Congresses ، Computer software -- Germany,Congresses ، Production engineering -- Technological inovations -- Germany,Congresses ، Traffic engineering -- Technological innovations -- Germany,Software -- Congresses ، Engineering -- Germany
رده :
QA
76
.
L28
Vol
.
3147
4. Software specification methods
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Computer software ; Specifications. ;
5. Software specification techniques
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Computer software- Specifications
6. Specification and design of software systems
پدیدآورنده : edited by E. Knuth and E.J. Neuhold
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع : Operating systems (Computers)- Congresses,Computer software- Specifications- Congresses,System design- Congresses
رده :
QA
,
76
.
6
,.
C646
,
1982
7. Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings
پدیدآورنده : Conference on Operating Systems, )2891, Visegrad, Hungary(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Operating systems )Computers(-- Congresses,، Computer software-- Specifications-- Congresses,، System design-- Congresses
رده :
QA
76
.
6
.
C646
1982